#include "kernel/types.h"
#include "user/user.h"

int main(int argc,char *argv[])
{
    if(argc!=2)
    {
        fprintf(2,"Command format error!Usage:sleep [time number]\n");
        exit(1);
    }
    int tick=atoi(argv[1]);
    int ret=sleep(tick);
    exit(ret);
}